Câu ví dụ
- For more information about the notation used above, see Naive set theory.
Để biết thêm thông tin về ký hiệu trên, xem lý thuyết tập hợp ngây thơ (Naive set theory). - In the foundations of mathematics, Russell’s paradox (also known as Russell’s antinomy), discovered by Bertrand Russell in 1901, showed that some attempted formalizations of the naive set theory created by Georg Cantor led to a contradiction.
Trong toán học cơ sở, Nghịch lý Russell hay mâu thuẫn Russell (đặt tên theo nhà triết học Bertrand Russell, người tìm ra nó vào năm in 1901) cho thấy rằng thuyết tập hợp chất phác của Georg Cantor sẽ dẫn đến mâu thuẫn. - After the discovery of paradoxes in naive set theory, numerous axiom systems were proposed in the early twentieth century, of which the Zermelo–Fraenkel axioms, with the axiom of choice, are the best-known.
Sau khi khám phá ra các nghịch lý trong lý thuyết tập không hình thức, đã có nhiều hệ tiên đề được đề nghị vào đầu thế kỷ thứ 20, trong đó có các tiên đề Zermelo–Fraenkel, với tiên đề chọn là nổi tiếng nhất.
